2381. VLSI Algorithms and Architectures : 3rd Aegean Workshop on Computing, AWOC88, Corfu, Greece, June 28-July, 1988 : Proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Computer architecture,Congresses ، Algorithms

رده :
QA
76
.
L28
Vol
.
319

2382. VLSI algorithms and architectures. 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28-July 1, 1988 : proceedings

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد و اطلاع رسانی دانشگاه هرمزگان (هرمزگان)

موضوع: ، Integrated circuits, Very large scale integration, Congresses,، Computer architecture, Congresses,، Algorithms, Congresses

رده :
TK
7874
.
A44
1988

2383. VLSI algorithms and architectures: 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28-July 1, 1988: proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: Congresses ، Integrated circuits-- Very large scale integration,Congresses ، Computer architecture,Congresses ، Algorithms

رده :
TK
7874
.
A338
1988

2384. Variants of evolutionary algorithms for real-world applications

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Evolutionary computation,Evolutionary programming (Computer science),Genetic algorithms

رده :
QA402
.
5
.
V37
2012eb

2385. Vector game math processors

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Algorithms,Computer games-- Programming,Computer science-- Mathematics,Supercomputers-- Programming,Vector processing (Computer science)

رده :
QA76
.
5
.
L446
2003eb

2386. Veracity of big data :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer algorithms.,Data editing.,Data integrity.,Databases-- Evaluation.,Verification (Logic)-- Computer programs.,Artificial intelligence.,Computer algorithms.,COMPUTERS-- General.,Data editing.,Data integrity.,Databases-- Evaluation.,Databases.

رده :
QA76
.
9
.
A43

2387. Verification and evaluation of computer and communication systems :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.

رده :
TK5105
.
5

2388. Verification of reactive systems

پدیدآورنده:

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Computer systems- - Verification,Formal methods (computer science),Computer algorithms

رده :
QA
76
.
76
.
V47S34
2003

2389. Verification of reactive systems

پدیدآورنده:

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Computer systems -- Verification,Formal methods (computer science),Computer algorithms

رده :
QA
76
.
76
.
V47S34
2004

2390. Verification of reactive systems :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer algorithms.,Computer systems -- Verification.,Formal methods (Computer science)

رده :
QA76
.
76
.
V47
K538
2004

2391. Verification of reactive systems: formal methods and algorithms

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computer systems-- Verification,، Formal methods )Computer science(,، Computer algorithms

رده :
QA
76
.
76
.
V47
.
S34
2003

2392. Vision chips : implementing vision algorithms with analog VLSI circuits

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Computer vision , Integrated circuits - Very large scale integration , Computer algorithms

رده :
TA
1634
.
V54

2393. Vlsi algorithms & architectures:3rd aegean workshop on computing,

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: INTEGRATED CIRCUITES-VERY LARGE SCALE , COMPUTER ARCHITECTURE-CONGRESSES , ALGORITHMS-CONGRESSE

رده :
TK
7874
.
A338
1988

2394. WALCOM

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer algorithms -- Congresses.,Algorithm Analysis and Problem Complexity.,Math Applications in Computer Science.,الگوریتم‌های کامپیوتری -- کنگره ها

رده :
QA
76
.
9
.
A43W32
2015
E-Book
,

2395. WALCOM

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع: Computer algorithms, Congresses,Data structures (Computer science), Congresses,Graph theory, Congresses

رده :
QA
،
76
.
9
،.
D35
,
W34
،
2010

2396. WALCOM

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer algorithms -- Congresses.,Computer algorithms,الگوریتم‌های کامپیوتری -- کنگره ها ,الگوریتم‌های کامپیوتری

رده :
QA
76
.
9
.
W32
2016
E-Book
,

2397. WALCOM: algorithms and computation :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer algorithms, Congresses.,Computer algorithms.

رده :
QA76
.
9
.
A43

2398. WALCOM, algorithms and computation :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer algorithms, Congresses

رده :
QA76
.
9
.
A43
W35
2011

2399. Wireless Internet

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Algorithms.,Computer communication systems.,Computer science.

2400. Wireless algorithms, systems, and applications

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Wireless communication systems, Congresses,Computer algorithms, Design, Congresses,Multiplexing, Congresses,System design, Congresses

رده :
E-BOOK